Automatic Induction of Abduction and Abstraction Theories from Observations
نویسندگان
چکیده
Traditional Machine Learning approaches are based on single inference mechanisms. A step forward concerned the integration of multiple inference strategies within a first-order logic learning framework, taking advantage of the benefits that each approach can bring. Specifically, abduction is exploited to complete the incoming information in order to handle cases of missing knowledge, and abstraction is exploited to eliminate superfluous details that can affect the performance of a learning system. However, these methods require some background information to exploit the specific inference strategy, that must be provided by a domain expert. This work proposes algorithms to automatically discover such an information in order to make the learning task completely autonomous. The proposed methods have been tested on the system INTHELEX, and their effectiveness has been proven by experiments in a real-world
منابع مشابه
On the LearnAbility of Abstraction Theories from Observations for Relational Learning
The most common methodology in symbolic learning consists in inducing, given a set of observations, a general concept definition. It is widely known that the choice of the right description language for a learning problem can affect the efficacy and effectiveness of the learning task. Furthermore, most of the real-world domain are contaminated by various kinds of imperfections in data such as i...
متن کاملAbduction, Induction, and the Logic of Scientific Knowledge Development
In this paper we outline some recent developments in the study of abduction and induction and their role in scientific modelling and knowledge refinement. We also describe a central challenge that appears to be emerging from this study: namely, the problem of developing practical approaches for exploiting abduction and induction, of formally characterising the limitations of such approaches, an...
متن کاملAbduction in Nonmonotonic Theories
In a very broad sense we can state that abduction is the inference process that goes from observations to explanations within a more general context or theoretical framework. There are good characterizations of abduction of surprising observations in monotonic theories. Also, in normal logic programs there are a tight relation among SLDNF and the abduction of negative literals. However, a probl...
متن کاملInduction of Abstraction Operators using Unsupervised Discretization of Continuous Attributes
Most complex real-world domains are described by both relations among objects and numeric features. While ILP allows to handle relations, it is less suited to deal with numeric values. Abstraction operators can help in these cases by replacing specific values with intervals. Since it is difficult for humans to provide useful discretizations, we propose a method for automatically learning the ab...
متن کاملLogical Operations in Theory-Building Case Studies
The logical operations involved in theory-building case studies include deduction (logical consistency and interconnection), induction (applying observations to theory), and abduction (creating, refining, and elaborating theory). The product of theory-building research is an account of a phenomenon in the form of words and other signs. Scientific quality control on theory is accomplished by com...
متن کامل